The Jordan-Hölder theorem and prefrattini subgroups of finite groups
نویسندگان
چکیده
منابع مشابه
The Jordan-Hölder Theorem
This submission contains theories that lead to a formalization of the proof of the Jordan-Hölder theorem about composition series of finite groups. The theories formalize the notions of isomorphism classes of groups, simple groups, normal series, composition series, maximal normal subgroups. Furthermore, they provide proofs of the second isomorphism theorem for groups, the characterization theo...
متن کاملThe nc-supplemented subgroups of finite groups
A subgroup $H$ is said to be $nc$-supplemented in a group $G$ if there exists a subgroup $Kleq G$ such that $HKlhd G$ and $Hcap K$ is contained in $H_{G}$, the core of $H$ in $G$. We characterize the supersolubility of finite groups $G$ with that every maximal subgroup of the Sylow subgroups is $nc$-supplemented in $G$.
متن کاملintersections of prefrattini subgroups in finite soluble groups
let $h$ be a prefrattini subgroup of a soluble finite group $g$. in the paper it is proved that there exist elements $x,y in g$ such that the equality $h cap h^x cap h^y = phi (g)$ holds.
متن کاملClassifying fuzzy normal subgroups of finite groups
In this paper a first step in classifying the fuzzy normalsubgroups of a finite group is made. Explicit formulas for thenumber of distinct fuzzy normal subgroups are obtained in theparticular cases of symmetric groups and dihedral groups.
متن کاملCLASSIFYING FUZZY SUBGROUPS OF FINITE NONABELIAN GROUPS
In this paper a rst step in classifying the fuzzy subgroups of a nite nonabelian group is made. We develop a general method to count the number of distinct fuzzy subgroups of such groups. Explicit formulas are obtained in the particular case of dihedral groups.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Glasgow Mathematical Journal
سال: 1995
ISSN: 0017-0895,1469-509X
DOI: 10.1017/s0017089500031554